Lemma k : True.
